Minimum segments in sequent derivations

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Sequent calculi based on derivations

Fibring is a meta-logical constructor that combines two given logics and produces a new one. In particular, the fibring of two sequent calculi is obtained by combining the languages of both calculi and taking all rules allowed in either calculus. By their own nature, proofs in the fibring have no relationship to proofs in the components, so that these are essentially different objects. In this ...

متن کامل

Dynamic Derivations for Sequent-Based Logical Argumentation

We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks (conflicts) between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems. This framework accommodates different languages and logics in which arguments may be represented...

متن کامل

Minimum polygon transversals of line segments

Let S be used to denote a nite set of planar geometric objects. Deene a polygon transversal of S as a closed simple polygon that simultaneously intersects every object in S, and a minimum polygon transversal of S as a polygon transversal of S with minimum perimeter. If S is a set of points then the minimum polygon transversal of S is the convex hull of S. However, when the objects in S have som...

متن کامل

Normal Form Theorem for Systems of Sequents

In a system of sequents for intuitionistic predicate logic a theorem, which corresponds to Prawitz’s Normal Form Theorem for natural deduction, are proved. In sequent derivations a special kind of cuts, maximum cuts, are defined. Maximum cuts from sequent derivations are connected with maximum segments from natural deduction derivations, i.e., sequent derivations without maximum cuts correspond...

متن کامل

Sequent Calculus 3.1 Cut-free Sequent Calculus

In the previous chapter we developed linear logic in the form of natural deduction , which is appropriate for many applications of linear logic. It is also highly economical, in that we only needed one basic judgment (A true) and two judgment forms (linear and unrestricted hypothetical judgments) to explain the meaning of all connectives we have encountered so far. However, it is not immediatel...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Publications de l'Institut Mathematique

سال: 2003

ISSN: 0350-1302,1820-7405

DOI: 10.2298/pim0374005b